ci: Add no-cache option to run-docker.sh script
authorEmmanuele Bassi <ebassi@gnome.org>
Fri, 17 Feb 2023 11:33:44 +0000 (11:33 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Fri, 17 Feb 2023 12:24:09 +0000 (12:24 +0000)
commitec7b1f72082194f7b5b032658ef020a7217e4372
tree3ab3b3b42efbddcc3055fff621bde47dd33f1113
parent864fbf89cde78cc3fa0afc1090750c2c52272fa4
ci: Add no-cache option to run-docker.sh script

Use `run-docker.sh build --no-cache` to discard the cached layers if you
need to rebuild the image without modifying the Dockerfile.
.gitlab-ci/run-docker.sh